NEDERLANDSE OPERA, DE / NETHERLANDS PHILHARMONIC ORCHESTRA